<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: SystemSharp.Analysis.MethodFacts Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="hierarchy.html"><span>Class&#160;Hierarchy</span></a></li>
      <li><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('class_system_sharp_1_1_analysis_1_1_method_facts.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="summary">
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#properties">Properties</a> &#124;
<a href="class_system_sharp_1_1_analysis_1_1_method_facts-members.html">List of all members</a>  </div>
  <div class="headertitle">
<div class="title">SystemSharp.Analysis.MethodFacts Class Reference</div>  </div>
</div><!--header-->
<div class="contents">

<p>This class provides analysis information on methods and constructors.  
 <a href="class_system_sharp_1_1_analysis_1_1_method_facts.html#details">More...</a></p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:ad075e40ce1fac06112b07eef0636df08"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ad075e40ce1fac06112b07eef0636df08">GetArgumentCandidates</a> (ParameterInfo arg)</td></tr>
<tr class="memdesc:ad075e40ce1fac06112b07eef0636df08"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all possible contents of a particular argument upon method entry  <a href="#ad075e40ce1fac06112b07eef0636df08">More...</a><br/></td></tr>
<tr class="separator:ad075e40ce1fac06112b07eef0636df08"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4defac04780e5a8c789d4bbb2982bee5"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a4defac04780e5a8c789d4bbb2982bee5">GetArgumentReturnCandidates</a> (ParameterInfo arg)</td></tr>
<tr class="memdesc:a4defac04780e5a8c789d4bbb2982bee5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all possible contents of a particular argument upon method exit  <a href="#a4defac04780e5a8c789d4bbb2982bee5">More...</a><br/></td></tr>
<tr class="separator:a4defac04780e5a8c789d4bbb2982bee5"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae0b797b1333d8c0a7b28184e4a083f04"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ae0b797b1333d8c0a7b28184e4a083f04">GetThisCandidates</a> ()</td></tr>
<tr class="memdesc:ae0b797b1333d8c0a7b28184e4a083f04"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all possible instances on which this method might be called  <a href="#ae0b797b1333d8c0a7b28184e4a083f04">More...</a><br/></td></tr>
<tr class="separator:ae0b797b1333d8c0a7b28184e4a083f04"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ad4682e32c26331d23a435ebe3b2548bc"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ad4682e32c26331d23a435ebe3b2548bc">GetReturnCandidates</a> ()</td></tr>
<tr class="memdesc:ad4682e32c26331d23a435ebe3b2548bc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all possible objects this method might return  <a href="#ad4682e32c26331d23a435ebe3b2548bc">More...</a><br/></td></tr>
<tr class="separator:ad4682e32c26331d23a435ebe3b2548bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a06838679d8cc44bfb4a91c86e0830b79"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; int &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a06838679d8cc44bfb4a91c86e0830b79">GetStackElementDefinitions</a> (int ilIndex, int stackLevel)</td></tr>
<tr class="memdesc:a06838679d8cc44bfb4a91c86e0830b79"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all instructions which might define a stack element at a certain program location  <a href="#a06838679d8cc44bfb4a91c86e0830b79">More...</a><br/></td></tr>
<tr class="separator:a06838679d8cc44bfb4a91c86e0830b79"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a80f2f0e9224163dc9bc34f2bc8376baa"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_local_mutation.html">LocalMutation</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a80f2f0e9224163dc9bc34f2bc8376baa">GetLocalMutations</a> (int ilIndex)</td></tr>
<tr class="memdesc:a80f2f0e9224163dc9bc34f2bc8376baa"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all possible mutations this method performs on local variables at a particular program location  <a href="#a80f2f0e9224163dc9bc34f2bc8376baa">More...</a><br/></td></tr>
<tr class="separator:a80f2f0e9224163dc9bc34f2bc8376baa"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4f25eb2f746982c009276b8cbd24cebf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_analyzer.html">VariabilityAnalyzer</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a4f25eb2f746982c009276b8cbd24cebf">GetVARA</a> (<a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html">VariabilityPattern</a> varPattern)</td></tr>
<tr class="memdesc:a4f25eb2f746982c009276b8cbd24cebf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a variability analyzer for certain argument variabilities  <a href="#a4f25eb2f746982c009276b8cbd24cebf">More...</a><br/></td></tr>
<tr class="separator:a4f25eb2f746982c009276b8cbd24cebf"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="properties"></a>
Properties</h2></td></tr>
<tr class="memitem:a4a8c2eace5839276a7b4923a93367dfa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a4a8c2eace5839276a7b4923a93367dfa">Universe</a><code> [get, set]</code></td></tr>
<tr class="memdesc:a4a8c2eace5839276a7b4923a93367dfa"><td class="mdescLeft">&#160;</td><td class="mdescRight">The associated universe  <a href="#a4a8c2eace5839276a7b4923a93367dfa">More...</a><br/></td></tr>
<tr class="separator:a4a8c2eace5839276a7b4923a93367dfa"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae11398f9fd13f5d0758ce2a9dd15514f"><td class="memItemLeft" align="right" valign="top">MethodBase&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ae11398f9fd13f5d0758ce2a9dd15514f">Method</a><code> [get, set]</code></td></tr>
<tr class="memdesc:ae11398f9fd13f5d0758ce2a9dd15514f"><td class="mdescLeft">&#160;</td><td class="mdescRight">The method or constructor  <a href="#ae11398f9fd13f5d0758ce2a9dd15514f">More...</a><br/></td></tr>
<tr class="separator:ae11398f9fd13f5d0758ce2a9dd15514f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aac3d1d04d1700fdda8facfe4e829ab59"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#aac3d1d04d1700fdda8facfe4e829ab59">IsUnsafe</a><code> [get]</code></td></tr>
<tr class="memdesc:aac3d1d04d1700fdda8facfe4e829ab59"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether the represented method has the UnverifiableCodeAttribute attached  <a href="#aac3d1d04d1700fdda8facfe4e829ab59">More...</a><br/></td></tr>
<tr class="separator:aac3d1d04d1700fdda8facfe4e829ab59"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a9fec30a3c8f3ce2b9c89bd45372d14c2"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a9fec30a3c8f3ce2b9c89bd45372d14c2">IsDecompilable</a><code> [get]</code></td></tr>
<tr class="memdesc:a9fec30a3c8f3ce2b9c89bd45372d14c2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether we can and should actually decompile the method. That is, the method is non-abstract, non-interface, is not unsafe and does not have any IDoNotAnalyze-derived attribute attached.  <a href="#a9fec30a3c8f3ce2b9c89bd45372d14c2">More...</a><br/></td></tr>
<tr class="separator:a9fec30a3c8f3ce2b9c89bd45372d14c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a469f1f7b6e9cedda870c974e2bbb4443"><td class="memItemLeft" align="right" valign="top"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_code.html">MethodCode</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a469f1f7b6e9cedda870c974e2bbb4443">CFG</a><code> [get]</code></td></tr>
<tr class="memdesc:a469f1f7b6e9cedda870c974e2bbb4443"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a control-flow graph for the represented method  <a href="#a469f1f7b6e9cedda870c974e2bbb4443">More...</a><br/></td></tr>
<tr class="separator:a469f1f7b6e9cedda870c974e2bbb4443"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae8efd4ba646d04edec0a21ce209e5253"><td class="memItemLeft" align="right" valign="top">DataflowAnalyzer&lt; <a class="el" href="class_s_d_i_l_reader_1_1_i_l_instruction.html">ILInstruction</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ae8efd4ba646d04edec0a21ce209e5253">DFA</a><code> [get]</code></td></tr>
<tr class="memdesc:ae8efd4ba646d04edec0a21ce209e5253"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a data-flow analyzer for the represented method  <a href="#ae8efd4ba646d04edec0a21ce209e5253">More...</a><br/></td></tr>
<tr class="separator:ae8efd4ba646d04edec0a21ce209e5253"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4decdf1c36b29136448293b31642c813"><td class="memItemLeft" align="right" valign="top"><a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_invocation_analyzer.html">InvocationAnalyzer</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a4decdf1c36b29136448293b31642c813">INVA</a><code> [get]</code></td></tr>
<tr class="memdesc:a4decdf1c36b29136448293b31642c813"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns an invocation analyzer for the represented method  <a href="#a4decdf1c36b29136448293b31642c813">More...</a><br/></td></tr>
<tr class="separator:a4decdf1c36b29136448293b31642c813"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a3dca32af5eb2eed7938e3c34dd98468b"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; FieldInfo &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a3dca32af5eb2eed7938e3c34dd98468b">ReadFields</a><code> [get]</code></td></tr>
<tr class="memdesc:a3dca32af5eb2eed7938e3c34dd98468b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all fields which are read by this method  <a href="#a3dca32af5eb2eed7938e3c34dd98468b">More...</a><br/></td></tr>
<tr class="separator:a3dca32af5eb2eed7938e3c34dd98468b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a2c94b042f7d449e9319e80360d4c9f86"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; FieldInfo &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a2c94b042f7d449e9319e80360d4c9f86">WrittenFields</a><code> [get]</code></td></tr>
<tr class="memdesc:a2c94b042f7d449e9319e80360d4c9f86"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all field which are written by this method  <a href="#a2c94b042f7d449e9319e80360d4c9f86">More...</a><br/></td></tr>
<tr class="separator:a2c94b042f7d449e9319e80360d4c9f86"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:af0d65cf384a81ea094e62d4065934a1f"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; <a class="el" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">ElementMutation</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#af0d65cf384a81ea094e62d4065934a1f">Mutations</a><code> [get]</code></td></tr>
<tr class="memdesc:af0d65cf384a81ea094e62d4065934a1f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all mutations which are possibly performed by this method  <a href="#af0d65cf384a81ea094e62d4065934a1f">More...</a><br/></td></tr>
<tr class="separator:af0d65cf384a81ea094e62d4065934a1f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:acfc84813b8145eb2e1c3bd3b8cea20e6"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#acfc84813b8145eb2e1c3bd3b8cea20e6">IsMutator</a><code> [get]</code></td></tr>
<tr class="memdesc:acfc84813b8145eb2e1c3bd3b8cea20e6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this method performs any mutation  <a href="#acfc84813b8145eb2e1c3bd3b8cea20e6">More...</a><br/></td></tr>
<tr class="separator:acfc84813b8145eb2e1c3bd3b8cea20e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ad730e0d5ee44f515b828cf592710e855"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ad730e0d5ee44f515b828cf592710e855">IsIndirectMutator</a><code> [get, set]</code></td></tr>
<tr class="memdesc:ad730e0d5ee44f515b828cf592710e855"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this method directly or indirectly calls any other method which performs any mutation  <a href="#ad730e0d5ee44f515b828cf592710e855">More...</a><br/></td></tr>
<tr class="separator:ad730e0d5ee44f515b828cf592710e855"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a97b5ecbc804f1c0e24c2f9745bddbea5"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; MethodBase &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a97b5ecbc804f1c0e24c2f9745bddbea5">CalledMethods</a><code> [get]</code></td></tr>
<tr class="memdesc:a97b5ecbc804f1c0e24c2f9745bddbea5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all methods and constructors which might be called by this method, possibly abstract and/or interface methods  <a href="#a97b5ecbc804f1c0e24c2f9745bddbea5">More...</a><br/></td></tr>
<tr class="separator:a97b5ecbc804f1c0e24c2f9745bddbea5"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a690cff39e8e58d42dc48c58aae5f5c3f"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; MethodBase &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a690cff39e8e58d42dc48c58aae5f5c3f">CalledRealizations</a><code> [get]</code></td></tr>
<tr class="memdesc:a690cff39e8e58d42dc48c58aae5f5c3f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all concrete methods and constructors which might be called by this method, i.e. abstract and/or interface methods will be resolved to realizations first.  <a href="#a690cff39e8e58d42dc48c58aae5f5c3f">More...</a><br/></td></tr>
<tr class="separator:a690cff39e8e58d42dc48c58aae5f5c3f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a2168c66a58b4f19b8941bb17ca31ef32"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; MethodBase &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a2168c66a58b4f19b8941bb17ca31ef32">CallingMethods</a><code> [get]</code></td></tr>
<tr class="memdesc:a2168c66a58b4f19b8941bb17ca31ef32"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all methods and contructors which might call this method  <a href="#a2168c66a58b4f19b8941bb17ca31ef32">More...</a><br/></td></tr>
<tr class="separator:a2168c66a58b4f19b8941bb17ca31ef32"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a700f047a1e12602db94f86eb48b6427d"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; ConstructorInfo &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a700f047a1e12602db94f86eb48b6427d">ConstructedObjects</a><code> [get]</code></td></tr>
<tr class="memdesc:a700f047a1e12602db94f86eb48b6427d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns all constructors which might be called by this method  <a href="#a700f047a1e12602db94f86eb48b6427d">More...</a><br/></td></tr>
<tr class="separator:a700f047a1e12602db94f86eb48b6427d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a43d3c302ad02b8d1177a48ac197e5c6b"><td class="memItemLeft" align="right" valign="top">IEnumerable&lt; MethodBase &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a43d3c302ad02b8d1177a48ac197e5c6b">Realizations</a><code> [get, set]</code></td></tr>
<tr class="memdesc:a43d3c302ad02b8d1177a48ac197e5c6b"><td class="mdescLeft">&#160;</td><td class="mdescRight">All possible realizations of this method.  <a href="#a43d3c302ad02b8d1177a48ac197e5c6b">More...</a><br/></td></tr>
<tr class="separator:a43d3c302ad02b8d1177a48ac197e5c6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a8f72a1a32963908a526472498cb306dc"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a8f72a1a32963908a526472498cb306dc">CallOrder</a><code> [get, set]</code></td></tr>
<tr class="memdesc:a8f72a1a32963908a526472498cb306dc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Index of this method inside the call tree  <a href="#a8f72a1a32963908a526472498cb306dc">More...</a><br/></td></tr>
<tr class="separator:a8f72a1a32963908a526472498cb306dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae90965b13ffc7c1c5dfceeedc2218ce4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#ae90965b13ffc7c1c5dfceeedc2218ce4">IsRecursive</a><code> [get, set]</code></td></tr>
<tr class="memdesc:ae90965b13ffc7c1c5dfceeedc2218ce4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this method is part of a possible recursion  <a href="#ae90965b13ffc7c1c5dfceeedc2218ce4">More...</a><br/></td></tr>
<tr class="separator:ae90965b13ffc7c1c5dfceeedc2218ce4"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a1a7059685dbc0ba14346710640d2aa53"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a1a7059685dbc0ba14346710640d2aa53">IsSideEffectFree</a><code> [get]</code></td></tr>
<tr class="memdesc:a1a7059685dbc0ba14346710640d2aa53"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this method has an ISideEffectFree-implementing attribute attached  <a href="#a1a7059685dbc0ba14346710640d2aa53">More...</a><br/></td></tr>
<tr class="separator:a1a7059685dbc0ba14346710640d2aa53"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa9a1580905c44e86b23eb38418ca7a0c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#aa9a1580905c44e86b23eb38418ca7a0c">IsStaticEvaluation</a><code> [get]</code></td></tr>
<tr class="memdesc:aa9a1580905c44e86b23eb38418ca7a0c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this method has the StaticEvaluation attribute attached  <a href="#aa9a1580905c44e86b23eb38418ca7a0c">More...</a><br/></td></tr>
<tr class="separator:aa9a1580905c44e86b23eb38418ca7a0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a34680226264a63b30fb0e2a723c7d895"><td class="memItemLeft" align="right" valign="top">List&lt; int &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a34680226264a63b30fb0e2a723c7d895">UnrollHeaders</a><code> [get, set]</code></td></tr>
<tr class="memdesc:a34680226264a63b30fb0e2a723c7d895"><td class="mdescLeft">&#160;</td><td class="mdescRight">List of loop headers (identified by first instruction indices) to unroll  <a href="#a34680226264a63b30fb0e2a723c7d895">More...</a><br/></td></tr>
<tr class="separator:a34680226264a63b30fb0e2a723c7d895"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4a17b8453592ffa299daa33cdf17cbc2"><td class="memItemLeft" align="right" valign="top">List&lt; int &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html#a4a17b8453592ffa299daa33cdf17cbc2">NonUnrollHeaders</a><code> [get, set]</code></td></tr>
<tr class="memdesc:a4a17b8453592ffa299daa33cdf17cbc2"><td class="mdescLeft">&#160;</td><td class="mdescRight">List of loop headers (identified by first instruction indices) not to unroll  <a href="#a4a17b8453592ffa299daa33cdf17cbc2">More...</a><br/></td></tr>
<tr class="separator:a4a17b8453592ffa299daa33cdf17cbc2"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p>This class provides analysis information on methods and constructors. </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00041">41</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>
</div><h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="ad075e40ce1fac06112b07eef0636df08"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a>&gt; SystemSharp.Analysis.MethodFacts.GetArgumentCandidates </td>
          <td>(</td>
          <td class="paramtype">ParameterInfo&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all possible contents of a particular argument upon method entry </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">arg</td><td>argument</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>all possible contents</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00310">310</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a4defac04780e5a8c789d4bbb2982bee5"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a>&gt; SystemSharp.Analysis.MethodFacts.GetArgumentReturnCandidates </td>
          <td>(</td>
          <td class="paramtype">ParameterInfo&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all possible contents of a particular argument upon method exit </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">arg</td><td>argument</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>all possible contents</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00319">319</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a80f2f0e9224163dc9bc34f2bc8376baa"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_local_mutation.html">LocalMutation</a>&gt; SystemSharp.Analysis.MethodFacts.GetLocalMutations </td>
          <td>(</td>
          <td class="paramtype">int&#160;</td>
          <td class="paramname"><em>ilIndex</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all possible mutations this method performs on local variables at a particular program location </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">ilIndex</td><td>instruction index</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>all possible mutations of local variables</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00386">386</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ad4682e32c26331d23a435ebe3b2548bc"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a>&gt; SystemSharp.Analysis.MethodFacts.GetReturnCandidates </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all possible objects this method might return </p>
<dl class="section return"><dt>Returns</dt><dd>all possible objects this method might return</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00363">363</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a06838679d8cc44bfb4a91c86e0830b79"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;int&gt; SystemSharp.Analysis.MethodFacts.GetStackElementDefinitions </td>
          <td>(</td>
          <td class="paramtype">int&#160;</td>
          <td class="paramname"><em>ilIndex</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">int&#160;</td>
          <td class="paramname"><em>stackLevel</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all instructions which might define a stack element at a certain program location </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">ilIndex</td><td>instruction index</td></tr>
    <tr><td class="paramname">stackLevel</td><td>stack index (0 is top)</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>all instructions which might define given program location</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00374">374</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae0b797b1333d8c0a7b28184e4a083f04"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a>&gt; SystemSharp.Analysis.MethodFacts.GetThisCandidates </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns all possible instances on which this method might be called </p>
<dl class="section return"><dt>Returns</dt><dd></dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00345">345</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a4f25eb2f746982c009276b8cbd24cebf"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_analyzer.html">VariabilityAnalyzer</a> SystemSharp.Analysis.MethodFacts.GetVARA </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html">VariabilityPattern</a>&#160;</td>
          <td class="paramname"><em>varPattern</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Returns a variability analyzer for certain argument variabilities </p>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">varPattern</td><td>argument variabilities</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>the variability analyzer</dd></dl>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00399">399</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<h2 class="groupheader">Property Documentation</h2>
<a class="anchor" id="a97b5ecbc804f1c0e24c2f9745bddbea5"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;MethodBase&gt; SystemSharp.Analysis.MethodFacts.CalledMethods</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all methods and constructors which might be called by this method, possibly abstract and/or interface methods </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00200">200</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a690cff39e8e58d42dc48c58aae5f5c3f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;MethodBase&gt; SystemSharp.Analysis.MethodFacts.CalledRealizations</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all concrete methods and constructors which might be called by this method, i.e. abstract and/or interface methods will be resolved to realizations first. </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00213">213</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a2168c66a58b4f19b8941bb17ca31ef32"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;MethodBase&gt; SystemSharp.Analysis.MethodFacts.CallingMethods</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all methods and contructors which might call this method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00223">223</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a8f72a1a32963908a526472498cb306dc"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">int SystemSharp.Analysis.MethodFacts.CallOrder</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Index of this method inside the call tree </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00267">267</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a469f1f7b6e9cedda870c974e2bbb4443"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_code.html">MethodCode</a> SystemSharp.Analysis.MethodFacts.CFG</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a control-flow graph for the represented method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00083">83</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a700f047a1e12602db94f86eb48b6427d"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;ConstructorInfo&gt; SystemSharp.Analysis.MethodFacts.ConstructedObjects</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all constructors which might be called by this method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00245">245</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae8efd4ba646d04edec0a21ce209e5253"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">DataflowAnalyzer&lt;<a class="el" href="class_s_d_i_l_reader_1_1_i_l_instruction.html">ILInstruction</a>&gt; SystemSharp.Analysis.MethodFacts.DFA</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns a data-flow analyzer for the represented method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00098">98</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a4decdf1c36b29136448293b31642c813"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_invocation_analyzer.html">InvocationAnalyzer</a> SystemSharp.Analysis.MethodFacts.INVA</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns an invocation analyzer for the represented method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00116">116</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a9fec30a3c8f3ce2b9c89bd45372d14c2"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsDecompilable</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether we can and should actually decompile the method. That is, the method is non-abstract, non-interface, is not unsafe and does not have any IDoNotAnalyze-derived attribute attached. </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00068">68</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ad730e0d5ee44f515b828cf592710e855"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsIndirectMutator</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether this method directly or indirectly calls any other method which performs any mutation </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00192">192</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="acfc84813b8145eb2e1c3bd3b8cea20e6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsMutator</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether this method performs any mutation </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00187">187</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae90965b13ffc7c1c5dfceeedc2218ce4"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsRecursive</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether this method is part of a possible recursion </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00272">272</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a1a7059685dbc0ba14346710640d2aa53"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsSideEffectFree</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether this method has an ISideEffectFree-implementing attribute attached </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00415">415</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aa9a1580905c44e86b23eb38418ca7a0c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsStaticEvaluation</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether this method has the StaticEvaluation attribute attached </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00423">423</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="aac3d1d04d1700fdda8facfe4e829ab59"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">bool SystemSharp.Analysis.MethodFacts.IsUnsafe</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Whether the represented method has the UnverifiableCodeAttribute attached </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00059">59</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae11398f9fd13f5d0758ce2a9dd15514f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">MethodBase SystemSharp.Analysis.MethodFacts.Method</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>The method or constructor </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00051">51</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="af0d65cf384a81ea094e62d4065934a1f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;<a class="el" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">ElementMutation</a>&gt; SystemSharp.Analysis.MethodFacts.Mutations</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all mutations which are possibly performed by this method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00176">176</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a4a17b8453592ffa299daa33cdf17cbc2"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">List&lt;int&gt; SystemSharp.Analysis.MethodFacts.NonUnrollHeaders</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>List of loop headers (identified by first instruction indices) not to unroll </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00435">435</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a3dca32af5eb2eed7938e3c34dd98468b"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;FieldInfo&gt; SystemSharp.Analysis.MethodFacts.ReadFields</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all fields which are read by this method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00145">145</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a43d3c302ad02b8d1177a48ac197e5c6b"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;MethodBase&gt; SystemSharp.Analysis.MethodFacts.Realizations</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>All possible realizations of this method. </p>
<p>This method might be abstract or an interface method. In that case, we want to know which methods override or implement this method. This is what the property is supposed to capture. </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00262">262</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a4a8c2eace5839276a7b4923a93367dfa"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a> SystemSharp.Analysis.MethodFacts.Universe</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>The associated universe </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00046">46</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a34680226264a63b30fb0e2a723c7d895"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">List&lt;int&gt; SystemSharp.Analysis.MethodFacts.UnrollHeaders</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span><span class="mlabel">set</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>List of loop headers (identified by first instruction indices) to unroll </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00430">430</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a2c94b042f7d449e9319e80360d4c9f86"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">IEnumerable&lt;FieldInfo&gt; SystemSharp.Analysis.MethodFacts.WrittenFields</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">get</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p>Returns all field which are written by this method </p>

<p>Definition at line <a class="el" href="_method_facts_8cs_source.html#l00159">159</a> of file <a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="_method_facts_8cs_source.html">MethodFacts.cs</a></li>
</ul>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="namespace_system_sharp.html">SystemSharp</a></li><li class="navelem"><a class="el" href="namespace_system_sharp_1_1_analysis.html">Analysis</a></li><li class="navelem"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:51 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
